2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 38 32 25 28 40 22 35 22

N.S.

1 1.19 1.00 0.78 0.88 1.25 0.69 1.09 0.69

time (sec)

N/A 0.171 0.006 3.931 0.197 0.280 0.054 0.288 0.072

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 56 59 33 37 53 37 37 41

N.S.

1 1.19 1.26 0.70 0.79 1.13 0.79 0.79 0.87

time (sec)

N/A 0.169 0.025 3.920 0.289 0.291 0.076 0.269 5.430

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 151 105 35 133 123 95 107 45

N.S.

1 1.36 0.95 0.32 1.20 1.11 0.86 0.96 0.41

time (sec)

N/A 0.330 0.057 3.923 0.283 0.295 0.184 0.296 0.142

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 153 107 37 135 125 97 109 46

N.S.

1 1.35 0.95 0.33 1.19 1.11 0.86 0.96 0.41

time (sec)

N/A 0.335 0.046 3.943 0.289 0.294 0.187 0.300 0.130

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 151 105 35 133 125 95 107 44

N.S.

1 1.15 0.80 0.27 1.02 0.95 0.73 0.82 0.34

time (sec)

N/A 0.333 0.037 3.941 0.285 0.285 0.196 0.298 5.503

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 165 113 46 141 139 110 115 51

N.S.

1 1.18 0.81 0.33 1.01 0.99 0.79 0.82 0.36

time (sec)

N/A 0.359 0.052 3.956 0.290 0.291 0.213 0.300 0.123

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 138 101 22 107 85 124 95 45

N.S.

1 1.04 0.76 0.17 0.80 0.64 0.93 0.71 0.34

time (sec)

N/A 0.322 0.033 4.076 0.294 0.292 0.176 0.282 0.120

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 160 37 318 196 32 267 543

N.S.

1 1.00 1.93 0.45 3.83 2.36 0.39 3.22 6.54

time (sec)

N/A 0.223 0.049 3.985 0.295 0.290 0.184 0.279 5.694

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 128 27 179 273 42 219 121

N.S.

1 1.00 1.62 0.34 2.27 3.46 0.53 2.77 1.53

time (sec)

N/A 0.223 0.046 3.958 0.286 0.284 0.128 0.300 0.126

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 128 27 179 273 42 219 121

N.S.

1 1.00 1.62 0.34 2.27 3.46 0.53 2.77 1.53

time (sec)

N/A 0.193 0.009 3.961 0.279 0.283 0.130 0.277 0.002

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 26 25 91 110 24 32

N.S.

1 1.00 1.00 0.79 0.76 2.76 3.33 0.73 0.97

time (sec)

N/A 0.159 0.008 3.928 0.283 0.300 0.128 0.276 5.582

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 26 25 91 110 24 32

N.S.

1 1.00 1.00 0.79 0.76 2.76 3.33 0.73 0.97

time (sec)

N/A 0.154 0.004 4.023 0.274 0.268 0.120 0.287 0.003

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 128 27 179 145 29 219 53

N.S.

1 1.00 1.62 0.34 2.27 1.84 0.37 2.77 0.67

time (sec)

N/A 0.186 0.018 3.918 0.294 0.273 0.102 0.275 0.135

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 128 27 179 145 29 219 53

N.S.

1 1.00 1.62 0.34 2.27 1.84 0.37 2.77 0.67

time (sec)

N/A 0.185 0.009 3.862 0.276 0.284 0.104 0.283 0.002

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 15 14 13 13 12 14 13

N.S.

1 1.00 1.07 1.00 0.93 0.93 0.86 1.00 0.93

time (sec)

N/A 0.134 0.004 3.902 0.192 0.280 0.074 0.282 0.038

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 15 14 13 13 12 14 13

N.S.

1 1.00 1.07 1.00 0.93 0.93 0.86 1.00 0.93

time (sec)

N/A 0.138 0.003 3.893 0.194 0.286 0.077 0.270 0.003

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 13 18 19 13 15

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.71

time (sec)

N/A 0.151 0.013 0.064 0.196 0.277 0.390 0.269 5.811

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 14 13 18 19 13 15

N.S.

1 1.00 0.90 0.67 0.62 0.86 0.90 0.62 0.71

time (sec)

N/A 0.150 0.011 0.049 0.187 0.269 0.238 0.272 0.026

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 14 13 16 19 13 15

N.S.

1 1.00 0.90 0.67 0.62 0.76 0.90 0.62 0.71

time (sec)

N/A 0.150 0.011 0.047 0.200 0.279 0.363 0.303 0.027

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 20 14 13 14 17 13 14

N.S.

1 1.00 1.05 0.74 0.68 0.74 0.89 0.68 0.74

time (sec)

N/A 0.155 0.012 0.046 0.196 0.289 0.136 0.266 0.030

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 13 14 17 13 15

N.S.

1 1.00 1.00 0.74 0.68 0.74 0.89 0.68 0.79

time (sec)

N/A 0.152 0.014 0.057 0.211 0.266 0.213 0.272 0.030

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 14 13 15 19 13 15

N.S.

1 1.00 0.90 0.67 0.62 0.71 0.90 0.62 0.71

time (sec)

N/A 0.149 0.015 0.061 0.189 0.271 0.237 0.270 0.028

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 14 13 15 19 13 15

N.S.

1 1.00 0.90 0.67 0.62 0.71 0.90 0.62 0.71

time (sec)

N/A 0.151 0.017 0.060 0.188 0.286 0.287 0.286 0.030

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 29 34 24 25

N.S.

1 1.00 0.83 0.69 0.67 0.81 0.94 0.67 0.69

time (sec)

N/A 0.168 0.018 3.990 0.189 0.278 0.880 0.299 5.586

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 29 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.81 0.94 0.67 0.72

time (sec)

N/A 0.164 0.017 3.916 0.194 0.287 0.599 0.273 0.042

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 27 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.75 0.94 0.67 0.72

time (sec)

N/A 0.164 0.018 3.852 0.194 0.287 0.625 0.286 0.070

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 25 24 26 32 24 26

N.S.

1 1.00 0.88 0.74 0.71 0.76 0.94 0.71 0.76

time (sec)

N/A 0.160 0.015 3.943 0.191 0.286 0.384 0.276 0.038

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 25 24 26 32 24 25

N.S.

1 1.00 0.88 0.74 0.71 0.76 0.94 0.71 0.74

time (sec)

N/A 0.162 0.018 3.936 0.209 0.272 0.484 0.282 0.042

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 26 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.72 0.94 0.67 0.72

time (sec)

N/A 0.158 0.019 3.924 0.196 0.302 0.532 0.293 0.038

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 25 24 26 34 24 26

N.S.

1 1.00 0.83 0.69 0.67 0.72 0.94 0.67 0.72

time (sec)

N/A 0.162 0.020 4.085 0.204 0.309 0.646 0.287 0.043

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 47 36 35 40 49 35 35

N.S.

1 1.00 0.92 0.71 0.69 0.78 0.96 0.69 0.69

time (sec)

N/A 0.180 0.019 4.178 0.190 0.277 1.718 0.287 0.046

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 47 36 35 40 49 35 35

N.S.

1 1.00 0.92 0.71 0.69 0.78 0.96 0.69 0.69

time (sec)

N/A 0.177 0.019 3.949 0.208 0.282 1.257 0.275 0.049

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 41 36 35 38 49 35 35

N.S.

1 1.00 0.80 0.71 0.69 0.75 0.96 0.69 0.69

time (sec)

N/A 0.171 0.016 3.947 0.198 0.295 1.105 0.281 0.046

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 41 36 35 37 48 35 35

N.S.

1 1.00 0.84 0.73 0.71 0.76 0.98 0.71 0.71

time (sec)

N/A 0.168 0.017 3.945 0.203 0.277 0.944 0.286 0.048

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 41 36 35 37 48 35 35

N.S.

1 1.00 0.84 0.73 0.71 0.76 0.98 0.71 0.71

time (sec)

N/A 0.170 0.027 3.960 0.194 0.281 1.072 0.280 0.048

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 41 36 35 37 49 35 35

N.S.

1 1.00 0.80 0.71 0.69 0.73 0.96 0.69 0.69

time (sec)

N/A 0.170 0.024 3.961 0.197 0.273 1.101 0.309 0.047

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 41 36 35 37 48 35 35

N.S.

1 1.00 0.84 0.73 0.71 0.76 0.98 0.71 0.71

time (sec)

N/A 0.177 0.028 3.884 0.195 0.278 1.319 0.276 0.048

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 345 268 39 0 314 299 453 126

N.S.

1 1.15 0.90 0.13 0.00 1.05 1.00 1.52 0.42

time (sec)

N/A 0.626 0.742 3.985 0.000 0.276 46.114 0.442 5.833

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 347 266 39 0 250 296 453 126

N.S.

1 1.17 0.90 0.13 0.00 0.84 1.00 1.53 0.42

time (sec)

N/A 0.582 0.616 4.127 0.000 0.284 26.648 0.367 5.701

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 324 237 29 0 288 289 445 118

N.S.

1 1.13 0.83 0.10 0.00 1.00 1.01 1.55 0.41

time (sec)

N/A 0.571 0.607 4.084 0.000 0.280 17.722 0.428 5.791

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 328 239 29 0 304 291 445 118

N.S.

1 1.14 0.83 0.10 0.00 1.06 1.01 1.55 0.41

time (sec)

N/A 0.551 0.602 3.938 0.000 0.279 11.749 0.394 5.552

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 328 239 29 0 288 291 445 118

N.S.

1 1.14 0.83 0.10 0.00 1.00 1.01 1.55 0.41

time (sec)

N/A 0.549 0.611 3.950 0.000 0.284 8.101 0.392 0.139

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 332 239 29 0 264 289 445 118

N.S.

1 1.16 0.83 0.10 0.00 0.92 1.01 1.55 0.41

time (sec)

N/A 0.554 0.583 3.941 0.000 0.279 11.199 0.343 5.868

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 339 276 38 0 293 299 461 126

N.S.

1 1.14 0.93 0.13 0.00 0.99 1.01 1.55 0.42

time (sec)

N/A 0.573 0.652 4.054 0.000 0.298 18.690 0.427 5.554

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 345 288 38 0 357 303 461 126

N.S.

1 1.15 0.96 0.13 0.00 1.19 1.01 1.54 0.42

time (sec)

N/A 0.601 0.708 3.964 0.000 0.279 36.025 0.420 5.691

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 351 277 47 0 408 0 486 135

N.S.

1 1.14 0.90 0.15 0.00 1.32 0.00 1.58 0.44

time (sec)

N/A 0.567 1.086 4.048 0.000 0.285 0.000 0.450 5.550

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 355 277 47 0 424 0 486 135

N.S.

1 1.15 0.90 0.15 0.00 1.38 0.00 1.58 0.44

time (sec)

N/A 0.588 1.153 4.060 0.000 0.281 0.000 0.460 0.148

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 355 277 47 0 424 0 486 135

N.S.

1 1.15 0.90 0.15 0.00 1.38 0.00 1.58 0.44

time (sec)

N/A 0.578 1.150 3.991 0.000 0.288 0.000 0.471 0.117

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 359 275 47 0 388 0 486 135

N.S.

1 1.17 0.89 0.15 0.00 1.26 0.00 1.58 0.44

time (sec)

N/A 0.607 1.152 4.115 0.000 0.277 0.000 0.366 5.576

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 351 277 50 0 421 0 462 135

N.S.

1 1.14 0.90 0.16 0.00 1.37 0.00 1.50 0.44

time (sec)

N/A 0.598 1.063 4.111 0.000 0.307 0.000 0.460 0.152

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 355 277 50 0 421 0 462 135

N.S.

1 1.15 0.90 0.16 0.00 1.37 0.00 1.50 0.44

time (sec)

N/A 0.596 1.074 3.889 0.000 0.291 0.000 0.463 5.645

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 355 277 50 0 405 0 462 135

N.S.

1 1.15 0.90 0.16 0.00 1.31 0.00 1.50 0.44

time (sec)

N/A 0.586 1.092 3.925 0.000 0.293 0.000 0.448 0.145

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 359 277 50 0 397 0 462 135

N.S.

1 1.17 0.90 0.16 0.00 1.29 0.00 1.50 0.44

time (sec)

N/A 0.593 1.040 3.965 0.000 0.275 0.000 0.368 5.547

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 368 287 56 0 430 0 481 148

N.S.

1 1.15 0.90 0.18 0.00 1.34 0.00 1.50 0.46

time (sec)

N/A 0.603 1.161 4.055 0.000 0.302 0.000 0.439 5.617

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 388 287 59 0 535 0 496 158

N.S.

1 1.18 0.87 0.18 0.00 1.63 0.00 1.51 0.48

time (sec)

N/A 0.607 1.416 4.410 0.000 0.286 0.000 0.399 5.719

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 380 275 61 0 563 0 499 156

N.S.

1 1.14 0.83 0.18 0.00 1.70 0.00 1.50 0.47

time (sec)

N/A 0.609 1.425 4.385 0.000 0.296 0.000 0.486 5.545

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 384 277 61 0 563 0 499 156

N.S.

1 1.16 0.83 0.18 0.00 1.70 0.00 1.50 0.47

time (sec)

N/A 0.615 1.415 4.398 0.000 0.300 0.000 0.481 5.543

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 384 277 61 0 561 0 499 156

N.S.

1 1.16 0.83 0.18 0.00 1.69 0.00 1.50 0.47

time (sec)

N/A 0.629 1.380 4.410 0.000 0.287 0.000 0.497 5.496

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 388 276 61 0 543 0 498 156

N.S.

1 1.17 0.83 0.18 0.00 1.64 0.00 1.50 0.47

time (sec)

N/A 0.616 1.381 4.393 0.000 0.283 0.000 0.398 5.686

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 380 287 62 0 551 0 472 157

N.S.

1 1.16 0.87 0.19 0.00 1.67 0.00 1.43 0.48

time (sec)

N/A 0.616 0.961 4.412 0.000 0.298 0.000 0.463 5.582

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 384 287 62 0 551 0 472 157

N.S.

1 1.17 0.87 0.19 0.00 1.67 0.00 1.43 0.48

time (sec)

N/A 0.627 0.951 3.959 0.000 0.295 0.000 0.475 0.151

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 384 287 62 0 533 0 472 157

N.S.

1 1.17 0.87 0.19 0.00 1.62 0.00 1.43 0.48

time (sec)

N/A 0.626 1.008 3.916 0.000 0.284 0.000 0.458 0.154

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 388 287 62 0 524 0 472 157

N.S.

1 1.18 0.87 0.19 0.00 1.59 0.00 1.43 0.48

time (sec)

N/A 0.647 1.190 3.916 0.000 0.298 0.000 0.389 5.529

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 50 36 47 46 87 43 44

N.S.

1 1.07 0.85 0.61 0.80 0.78 1.47 0.73 0.75

time (sec)

N/A 0.193 0.032 4.503 0.207 0.276 0.383 0.279 5.660

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 25 30 34 61 29 33

N.S.

1 1.11 1.00 0.66 0.79 0.89 1.61 0.76 0.87

time (sec)

N/A 0.176 0.030 4.215 0.200 0.268 0.250 0.274 5.491

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.142 0.013 4.368 0.205 0.254 0.090 0.281 5.649

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 32 49 84 66 36 31

N.S.

1 1.00 1.00 0.74 1.14 1.95 1.53 0.84 0.72

time (sec)

N/A 0.188 0.040 4.289 0.270 0.301 0.763 0.274 5.591

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 42 53 108 46 46 35

N.S.

1 1.00 1.00 0.89 1.13 2.30 0.98 0.98 0.74

time (sec)

N/A 0.179 0.059 4.318 0.277 0.270 1.005 0.295 5.868

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 73 62 56 100 133 95 72 54

N.S.

1 1.03 0.87 0.79 1.41 1.87 1.34 1.01 0.76

time (sec)

N/A 0.201 0.109 4.373 0.283 0.266 2.013 0.278 5.803

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 81 64 53 120 127 95 54 0

N.S.

1 1.09 0.86 0.72 1.62 1.72 1.28 0.73 0.00

time (sec)

N/A 0.218 0.501 4.582 0.291 0.283 1.950 0.278 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 54 51 40 78 102 44 41 0

N.S.

1 1.08 1.02 0.80 1.56 2.04 0.88 0.82 0.00

time (sec)

N/A 0.181 0.143 4.607 0.282 0.258 0.944 0.280 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 48 50 39 60 96 66 60 0

N.S.

1 0.98 1.02 0.80 1.22 1.96 1.35 1.22 0.00

time (sec)

N/A 0.177 0.144 4.597 0.294 0.283 0.815 0.300 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 42 63 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 2.00 3.00 0.81

time (sec)

N/A 0.146 0.131 4.680 0.201 0.286 0.467 0.309 5.758

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 28 35 38 66 120 37

N.S.

1 1.00 0.95 0.64 0.80 0.86 1.50 2.73 0.84

time (sec)

N/A 0.170 0.160 4.926 0.224 0.270 0.652 0.296 5.778

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 53 39 52 49 359 148 73

N.S.

1 1.09 0.78 0.57 0.76 0.72 5.28 2.18 1.07

time (sec)

N/A 0.191 0.173 5.304 0.212 0.264 0.953 0.305 6.159

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 132 62 103 0 57 39 0 0

N.S.

1 1.04 0.49 0.81 0.00 0.45 0.31 0.00 0.00

time (sec)

N/A 0.216 5.372 4.297 0.000 0.083 0.486 0.000 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 89 85 0 41 37 0 37

N.S.

1 1.00 0.85 0.81 0.00 0.39 0.35 0.00 0.35

time (sec)

N/A 0.194 3.515 4.135 0.000 0.084 0.442 0.000 5.714

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 51 87 0 44 42 0 0

N.S.

1 1.00 0.48 0.81 0.00 0.41 0.39 0.00 0.00

time (sec)

N/A 0.199 10.009 4.182 0.000 0.090 0.502 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 134 51 105 0 60 46 0 0

N.S.

1 1.04 0.40 0.81 0.00 0.47 0.36 0.00 0.00

time (sec)

N/A 0.244 10.009 4.293 0.000 0.082 0.610 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 237 51 112 0 88 39 0 0

N.S.

1 1.01 0.22 0.48 0.00 0.38 0.17 0.00 0.00

time (sec)

N/A 0.319 3.933 4.201 0.000 0.093 0.467 0.000 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 233 49 112 0 0 41 0 39

N.S.

1 1.04 0.22 0.50 0.00 0.00 0.18 0.00 0.17

time (sec)

N/A 0.293 7.527 4.113 0.000 0.000 0.493 0.000 6.161

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 262 51 123 0 87 46 0 0

N.S.

1 1.02 0.20 0.48 0.00 0.34 0.18 0.00 0.00

time (sec)

N/A 0.332 10.009 4.285 0.000 0.092 0.546 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 57 109 43 53

N.S.

1 1.07 0.66 0.61 0.80 0.97 1.85 0.73 0.90

time (sec)

N/A 0.177 0.035 4.210 0.196 0.275 0.588 0.281 6.118

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 30 45 83 29 42

N.S.

1 1.11 0.74 0.66 0.79 1.18 2.18 0.76 1.11

time (sec)

N/A 0.175 0.029 4.228 0.211 0.257 0.372 0.279 5.965

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 32 60 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.78 3.33 0.78 0.78

time (sec)

N/A 0.138 0.022 4.193 0.192 0.253 0.161 0.261 5.984

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 61 52 41 61 103 80 50 43

N.S.

1 1.03 0.88 0.69 1.03 1.75 1.36 0.85 0.73

time (sec)

N/A 0.178 0.044 4.287 0.288 0.277 1.152 0.294 5.937

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 65 57 58 66 121 95 63 48

N.S.

1 1.03 0.90 0.92 1.05 1.92 1.51 1.00 0.76

time (sec)

N/A 0.180 0.076 4.398 0.284 0.282 1.376 0.284 6.002

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 71 59 57 98 138 75 70 52

N.S.

1 1.04 0.87 0.84 1.44 2.03 1.10 1.03 0.76

time (sec)

N/A 0.182 0.099 4.279 0.273 0.280 1.679 0.280 6.214

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 105 77 66 160 153 122 126 0

N.S.

1 1.11 0.81 0.69 1.68 1.61 1.28 1.33 0.00

time (sec)

N/A 0.213 0.149 4.532 0.278 0.305 3.367 0.287 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 78 63 52 119 132 73 99 0

N.S.

1 1.10 0.89 0.73 1.68 1.86 1.03 1.39 0.00

time (sec)

N/A 0.180 0.133 4.444 0.285 0.304 1.519 0.311 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 60 50 94 120 95 78 0

N.S.

1 1.07 0.87 0.72 1.36 1.74 1.38 1.13 0.00

time (sec)

N/A 0.191 0.177 4.612 0.290 0.302 1.326 0.302 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 69 60 47 75 116 80 122 0

N.S.

1 1.01 0.88 0.69 1.10 1.71 1.18 1.79 0.00

time (sec)

N/A 0.201 0.158 4.646 0.290 0.279 1.271 0.304 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 35 66 92 17

N.S.

1 1.00 1.00 0.86 0.81 1.67 3.14 4.38 0.81

time (sec)

N/A 0.149 0.137 4.872 0.200 0.246 0.668 0.302 6.351

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 49 92 178 71

N.S.

1 1.00 0.70 0.64 0.80 1.11 2.09 4.05 1.61

time (sec)

N/A 0.169 0.160 5.330 0.189 0.446 0.949 0.319 6.509

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 60 420 206 91

N.S.

1 1.09 0.62 0.57 0.76 0.88 6.18 3.03 1.34

time (sec)

N/A 0.202 0.191 6.078 0.207 0.347 1.411 0.309 6.530

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 156 67 114 0 70 39 0 0

N.S.

1 1.05 0.45 0.77 0.00 0.47 0.26 0.00 0.00

time (sec)

N/A 0.247 7.813 4.215 0.000 0.086 0.559 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 127 47 96 0 51 37 0 37

N.S.

1 1.04 0.39 0.79 0.00 0.42 0.30 0.00 0.30

time (sec)

N/A 0.220 4.375 4.157 0.000 0.085 0.492 0.000 5.415

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 127 52 96 0 0 42 0 0

N.S.

1 1.02 0.42 0.77 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.222 10.011 4.207 0.000 0.000 0.544 0.000 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 131 52 97 0 54 46 0 0

N.S.

1 1.04 0.41 0.77 0.00 0.43 0.37 0.00 0.00

time (sec)

N/A 0.217 10.008 4.365 0.000 0.091 0.642 0.000 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 261 52 122 0 104 39 0 0

N.S.

1 1.02 0.20 0.48 0.00 0.41 0.15 0.00 0.00

time (sec)

N/A 0.344 6.108 4.206 0.000 0.092 0.520 0.000 0.000